Consistency Constraints for Input/Output Logic: A Comparative Review
نویسندگان
چکیده
In a range of contexts, one comes across processes resembling inference, but where input propositions are not in general included among outputs, and the operation is not in any way reversible. Examples arise in contexts of conditional obligations, goals, ideals, preferences, actions, and beliefs. In a separate paper, we developed a general theory of such processes when they are applied without restriction. In this paper, we compare systematically several ways of restricting them by consistency constraints.
منابع مشابه
What is Input/Output Logic? Input/Output Logic, Constraints, Permissions
We explain the raison d’être and basic ideas of input/output logic, sketching the central elements with pointers to other publications for detailed developments. The motivation comes from the logic of norms. Unconstrained input/output operations are straightforward to define, with relatively simple behaviour, but ignore the subtleties of contraryto-duty norms. To deal with these more sensitivel...
متن کاملAn Input - Output Assessment of Employment, Efficiency, Income Distribution and Growth Strategies in Iran
This Paper has used a multisectoral input-output model of Iranian economy to examine the ability of different sectors of economy to create jobs per unit of output as well as capital. The results reveal that there is no conflict in a growth strategy that simultaneously attempts to improve efficiency i.e. reallocating production to sectors with low DRCs, equity and job creation. Although sectoral...
متن کاملA Chance-Constrained DEA model with random input and output data:Considering maintenance groups of Iranian Aluminum Company
In this paper, we use an input oriented chance-constrained DEA model withrandom inputs and outputs. A super-eciency model with chance constraintsis used for ranking. However, for convenience in calculations a non-linear deterministicequivalent model is obtained to solve the models. The non-linearmodel is converted into a model with quadratic constraints to solve the nonlineardeterministic model...
متن کاملAutonomous Parallel Parking of a Car Based on Parking Space Detection and Fuzzy Controller
This paper develops an automatic parking algorithm based on a fuzzy logic controller with the vehicle pose for the input and the steering angle for the output. In this way some feasible reference trajectory path have been introduced according to geometric and kinematic constraints and nonholonomic constraints to simulate motion path of car. Also a novel method is used for parking space detec...
متن کاملEfficient Delay Characterization Method to Obtain the Output Waveform of Logic Gates Considering Glitches
Accurate delay calculation of circuit gates is very important in timing analysis of digital circuits. Waveform shapes on the input ports of logic gates should be considered, in the characterization phase of delay calculation, to obtain accurate gate delay values. Glitches and their temporal effect on circuit gate delays should be taken into account for this purpose. However, the explosive numbe...
متن کامل